/*
 * ----------------------------------------------------------------------------
 *  (C) Copyright European Telecommunications Standards Institute, 2001.
 *  All Rights Reserved.
 *
 *  All copies of this program, whether in whole or in part, and whether
 *  modified or not, must display this and all other embedded copyright
 *  and ownership notices in full.
 *
 * ----------------------------------------------------------------------------
 */
package org.etsi.ttcn.tri;

import java.io.Serializable;

/** 
    
    A value of type TriTimerDurationType specifies the duration for a
    timer in seconds.
 */
public interface TriTimerDuration extends Serializable {

    /** Returns the duration of a timer as double.
     */
    public double  getDuration();

    /** Sets the duration of this TriTimerDuration to duration.
     */
    public void    setDuration(double duration);

    /** Compares duration with this TriTimerDuration for
	equality. Returns true if and only if both have the same
	duration, false otherwise.
    */
    public boolean equals(TriTimerDuration duration);
}
